Our question is: can we embed minimal negation in implicative logics weaker than I→? Previous results show how to define minimal negation in the positive fragment of the logic of relevance R and in contractionless intuitionistic logic. Is it possible to endow weaker positive logics with minimal negation? This paper prooves that minimal negation can be embedded in even such a weak system as Anderson and Belnap’s minimal positive logic.

In our paper “A general characterization of the variable-sharing property by means of logical matrices”, a general class of so-called “Relevant logical matrices”, RMLs, is defined. The aim of this paper is to define a class of simpler Relevant logical matrices RMLs′serving the same purpose that RMLs, to wit: any logic verified by an RML′has the variable-sharing property and related properties predicable of the logic of entailment E and of the logic of relevance R.

Łukasiewicz 3-valued logic Ł3 is often understood as the set of all valid formulas according to Łukasiewicz 3-valued matrices MŁ3. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: ‘truth-preserving’ Ł3a and ‘well-determined’ Ł3b defined by two different consequence relations on the 3-valued matrices MŁ3. The aim of this article is to provide a Routley–Meyer ternary semantics for each one of these three versions of Łukasiewicz 3-valued logic: Ł3, Ł3a and Ł3b.

The logic BKc1 is the basic constructive logic in the ternary relational semantics adequate to consistency understood as the absence of the negation of any theorem. Negation is introduced in BKc1 with a negation connective. The aim of this paper is to define the logic BKc1F. In this logic negation is introduced via a propositional falsity constant. We prove that BKc1 and BKc1F are definitionally equivalent.

This article addresses ontological negotiations in the Global South through three case studies of community-based research in Brazil and Ghana. We argue that ontological perspectives of Indigenous people and local communities require an ontological pluralism that recognizes both the plurality of representational tools and of ways of being in the world. Locating these two readings of ontological pluralism in the politics of the Global South, the article highlights a wider dynamic from ontological paternalism to ontological diversity to ontological decolonization. We (...) conclude by arguing that this dynamic provides important lessons for the state for social ontology in academic philosophy and for the design of politically reflexive development interventions. (shrink)

This article addresses ontological negotiations in the Global South through three case studies of community-based research in Brazil and Ghana. We argue that ontological perspectives of Indigenous and other subjugated communities require an ontological pluralism that recognizes the plurality of both representational tools and ways of being in the world. Locating these two readings of ontological pluralism in the politics of the Global South, the article highlights a wider dynamic from ontological paternalism to ontological diversity to ontological decolonization. We conclude (...) by arguing that this dynamic provides important lessons for reorienting agendas in social ontology through Southern Ontologies. (shrink)

El diálogo que aquí se transcribe discurre por Sevilla y el pensamiento de Ortega y Gasset. Se va hablando de la razón topográfica, de cosmopolitismo y de Don Juan, figura objeto de una reflexión filosófica que imita los métodos de dos escuelas antiguas: el diálogo socrático y el paseo peripatético. Partiendo del parque de María Luisa, la conversación recorre el centro de la capital hispalense hasta el barrio de la Macarena, sigue el curso del Guadalquivir, recala en Casa Robles (...) y termina frente a la Maestranza. En última instancia, no se hace sino poner en perspectiva o situación algunas meditaciones magistralmente escritas por Ortega y tirar del hilo. Con ello actualizamos dos claves orteguianas que consideramos fundamentales: la concepción de la vida como diálogo con el contorno y la condición dramática del pensar. (shrink)

Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are offered.

Resumen Los enfoques tradicionales en el estudio de la comunión fática han examinado el concepto en términos de la función social, la función del lenguaje así como su ocurrencia en las etapas iniciales y de cierre de una interacción. Intentos por clasificar la comunión fática en términos universalistas predeterminados corrieron el riesgo de alejarse del concepto de entendimientos cotidianos donde interactuantes emplean el uso del lenguaje dinámico para lograr los objetivos de comunicación específicos en contextos particulares. Los enfoques contemporáneos tratan (...) de redefinir la comunión fática en términos interpersonales. La investigación sobre el uso del lenguaje fático en América Latina ha sido muy limitada, con contadas excepciones. Con la finalidad de investigar el tema en el contexto mexicano, donde todavía se considera en términos convencionales, examinamos un corpus formado por 92 instancias de comunión fática, recabadas en Guadalajara, México. Sostenemos que en el corpus antes aludido se emplea la comunión fática a fin de expresar y destacar la cortesía positiva en maneras poco convencionales, dado que el término tiene un alcance muy amplio en el que abarca: la anticortesía, el uso del lenguaje creativo, los juegos lingüísticos, la ironía, y los anglicismos. (shrink)

Teoría del derecho / G.R.Morchon. - v.1.

Objectives: Recent legislative changes within the United Kingdom have stimulated professional debate about access to patient data within research. However, there is currently little awareness of public views about such research. The authors sought to explore attitudes of the public, and their lay representatives, towards the use of primary care medical record data for research when patient consent was not being sought.Methods: 49 members of the public and four non-medical members of local community health councils in South Wales, UK gave (...) their views on the value and acceptability of three current research scenarios, each describing access to data without patient consent.Results: Among focus group participants, awareness of research in primary care was low, and the appropriateness of general practitioners as researchers was questioned. There was general support for research but also concerns expressed about data collection without consent. These included lack of respect and patient control over the process. Unauthorised access to data by external agencies was a common fear. Current data collection practices, including population based disease registers elicited much anxiety. The key informants were equally critical of the scenarios and generally less accepting.Conclusions: This exploratory study has highlighted a number of areas of public concern when medical records are accessed for research without patient consent. Public acceptability regarding the use of medical records in research cannot simply be assumed. Further work is required to determine how widespread such views are and to inform those advising on confidentiality issues. (shrink)

We make use of natural induction to propose, following John Ju Sakurai, a generalization of Bell's inequality for two spin s=n/2(n=1,2,...) particle systems in a singlet state. We have found that for any finite integer or half-integer spin Bell's inequality is violated when the terms in the inequality are calculated from a quantum mechanical point of view. In the final expression for this inequality the two members therein are expressed in terms of a single parameter θ. Violation occurs for θ (...) in some interval of the form (α,π/2) where α parameter becomes closer and closer to π/2, as the spin grows, that is, the greater the spin number the size of the interval in which violation occurs diminishes to zero. Bell's inequality is a relationship among observables that discriminates between Einstein's locality principle and the non-local point of view of orthodox quantum mechanics. So our conclusion may also be stated by saying that for large spin numbers the non-local and local points of view agree. (shrink)

A 50 años del golpe de Estado: reflexiones sobre la revolución y la historia reciente desde la militancia.

Recent studies indicate that mammalian chromosomes contain discretecis‐acting loci that control replication timing, mitotic condensation, and stability of entire chromosomes. Disruption of the large non‐coding RNA gene ASAR6 results in late replication, an under‐condensed appearance during mitosis, and structural instability of human chromosome 6. Similarly, disruption of the mouse Xist gene in adult somatic cells results in a late replication and instability phenotype on the X chromosome. ASAR6 shares many characteristics with Xist, including random mono‐allelic expression and asynchronous replication timing. (...) Additional “chromosome engineering” studies indicate that certain chromosome rearrangements affecting many different chromosomes display this abnormal replication and instability phenotype. These observations suggest that all mammalian chromosomes contain “inactivation/stability centers” that control proper replication, condensation, and stability of individual chromosomes. Therefore, mammalian chromosomes contain four types ofcis‐acting elements, origins, telomeres, centromeres, and “inactivation/stability centers”, all functioning to ensure proper replication, condensation, segregation, and stability of individual chromosomes. (shrink)

ABSTRACTA conditional is natural if it fulfils the three following conditions. It coincides with the classical conditional when restricted to the classical values T and F; it satisfies the Modus Ponens; and it is assigned a designated value whenever the value assigned to its antecedent is less than or equal to the value assigned to its consequent. The aim of this paper is to provide a ‘bivalent’ Belnap-Dunn semantics for all natural implicative expansions of Kleene's strong 3-valued matrix with two (...) designated elements. (shrink)

This article examines a productive use of communicating gender stereotypes in interpersonal conversation: to resist activities traditionally prescribed according to gender. The analyses video-taped naturally occurring US household interactions and present three techniques participants may deploy to contest gender expectations: mobilizing categories, motivating alignment and reframing action. We show how gender is an accountable category in relation to household labor, and how gender categories provide a resource by which participants can non-seriously solicit and resist participation in domestic gender-prescribed activities. Our (...) analysis provides some insight into how participants use gender stereotypes in everyday talk and what functions such talk serves. (shrink)

As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. In (...) this way, any logic verified by an actual matrix in one of these classes has the property the class generally represents. Particular matrices (and so, logics) in each class are provided. (shrink)

A classical result by Słupecki states that a logic L is functionally complete for the 3-element set of truth-values THREE if, in addition to functionally including Łukasiewicz’s 3-valued logic Ł3, what he names the ‘$T$-function’ is definable in L. By leaning upon this classical result, we prove a general theorem for defining binary expansions of Kleene’s strong logic that are functionally complete for THREE.

The logic E4 is related to Brady’s BN4 in a similar way to which Anderson and Belnap’s logic of entailment E is related to their logic of the relevant implication R. In ‘A companion to Brady’s 4-valued relevant logic: the 4-valued logic of entailment E4’, quoted in this paper, three alternatives to BN4 and another three to E4 are summarily introduced in a couple of pages as the only alternatives containing Routley and Meyer’s basic logic B, provided some conditions are (...) fulfilled. The aim of this note is to prove BN4 and its three alternatives are the same logic up to some point, since they are functionally equivalent to each other, as it is the case with E4 and its three alternatives, which are also functionally equivalent to each other; to some extent, E4 is superior to BN4, since the latter is functionally included in the former, but not conversely. (shrink)